Communicating finite-state machine